Control-flow analysis - PDFSEARCH.IO - Document Search Engine

Control-flow analysis
Results: 217

#	Item
91	Extensible Intraprocedural Flow Analysis at the Abstract Syntax Tree Level Emma S¨oderberg 1 Add to Reading List Source URL: fileadmin.cs.lth.se Language: English - Date: 2012-02-01 07:50:37 Data-flow analysis Attribute grammar Static single assignment form Control flow graph Live variable analysis Software Compiler construction Software engineering Computing
92	Gaining Insight into AS-level Outages through Analysis of Internet Background Radiation Karyn Benson, Alberto Dainotti, kc claffy and Emile Aben TMA 2013 Turin, Italy Add to Reading List Source URL: infocom.di.unimi.it Language: English - Date: 2013-04-29 06:33:25 Transmission Control Protocol Traffic flow P0f Acknowledgement Cooperative Association for Internet Data Analysis Network architecture Computing TCP/IP Computer network security
93	How to Win Patients and Influence Community Communication A Step by Step Guide for Looping your Community By Susan M. Lopez, Au.D. and Mary T. Caccavo, Ph.D. These days, we see a lot of articles and “buzz” about how Add to Reading List Source URL: www.hearingloop.org Language: English - Date: 2015-01-15 14:34:18 Otology Control flow Assistive technology Hearing aids Audiology Infinite loop Loop Vertical loop Termination analysis Medicine Health Computer programming
94	A UNIFYING FRAMEWORK FOR TUNABLE TOPOLOGY CONTROL IN SENSOR NETWORKS Sameera Poduri1 , Sundeep Pattem2 , Bhaskar Krishnamachari1,2 , Gaurav Sukhatme1 1 Department of Computer Science, 2 Department of Electrical Engineer Add to Reading List Source URL: cres.usc.edu Language: English - Date: 2006-01-02 09:15:19 Topology control Topology Connectivity Flow network Graph Network topology Centrality Power graph analysis Graph theory Mathematics Theoretical computer science
95	r-TuBound: Loop Bounds for WCET Analysis (tool paper) Jens Knoop, Laura Kov´acs, and Jakob Zwirchmayr? TU Vienna Abstract. We describe the structure and the usage of a new software tool, called Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-01-11 07:16:42 Control flow Real-time computing Worst-case execution time Infinite loop For loop Algorithm Signal-flow graph Control theory Recurrence relation Computing Computer programming Software engineering
96	A Linear Encoding of Pushdown Control-Flow Analysis Steven Lyde Thomas Gilray ∗ Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-11-04 14:23:30 Logic Mathematics Metaphilosophy Formal languages Metalogic Model theory Structure
97	Array Regions for Interprocedural Parallelization and Array Privatization Beatrice Creusillet Centre de Recherche en Informatique E cole des mines de Paris Internal Report A/279/CRI Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:31:05 Software engineering Automatic parallelization Control flow Rope Dependence analysis Q Compiler optimizations Programming language theory Computing
98	The New Framework for Loop Nest Optimization in GCC: from Prototyping to Evaluation Sebastian Pop1 , Albert Cohen2 , Pierre Jouvelot1 , and Georges-Andr´e Silber1 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2005-11-22 06:53:34 Compiler optimizations Control flow Compiler construction Static single assignment form Model theory GNU Compiler Collection Representation theory For loop Data-flow analysis Computing Software engineering Software
99	ALICe: A Benchmark to Improve Affine Loop Invariant Computation Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 04:42:34 Loop invariant Convex function Finitary relation Program logic Abstraction Predicate transformer semantics Function Mathematics Mathematical analysis Control flow
100	Induction Variable Analysis with Delayed Abstractions1 ´ SILBER SEBASTIAN POP, and GEORGES-ANDRE CRI, Mines Paris, France and Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2005-08-24 10:01:32 Compiler optimizations Control flow Procedural programming languages Compiler construction Static single assignment form Loop optimization Vectorization Fortran Loop counter Software engineering Computing Computer programming